1. Impossibility
المؤلف: / John D. Barrow
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Science, Philosophy,Limit (Logic),Geodel's theorem
رده :
Q175
.
B2245
1998
2. On formally undecidable propositions of Principia mathematica and related systems
المؤلف: Kurt Godel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Geodel's theorem
3. The P=NP question and Geodel's lost letter
المؤلف: Richard J. Lipton
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
QA
،
9
.
65
،.
L57
،
2010
4. The P=NP question and Geodel's lost letter
المؤلف: / Richard J. Lipton
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
5. The large, the small, and the human mind
المؤلف: / Roger Penrose ... [et al.]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Shimony, Abner.,Cartwright, Nancy.,Artificial intelligence.,Thought and thinking.,Physics--Philosophy,Geodel's theorem.,Quantum theory.
رده :
Q
,
335
,.
L36
,
1997
6. Word problems; decision problems and the Burnside problem in group theory
المؤلف: / Edited by W. W. Boone, F. B. Cannonito [and] R. C. Lyndon
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Group theory--Congresses,Geodel's theorem--Congresses,Word problems (Mathematics),Burnside problem.
رده :
QA
,
171
,.
W85
